Ontology-based Railway Infrastructure Verification - Planning Benefits
نویسندگان
چکیده
Planning new railway infrastructures is a complex process. We present an approach where the formalization of expert knowledge regarding the railway domain is motivated in order to improve the planning process. By applying ontologies as a representation of railway related knowledge we are able to make the coherencies of infrastructural elements explicit. Furthermore the integration of an ontology-based rule language provides the possibility of a semi-automated integrity verification of static infrastructure and safety components. Semantical inconsistencies potentially leading to unsafe conditions regarding train operations can be spotted within this verification process. This combination of conceptualization and correlation rules tend to be applicable for the creation of a formal and consistent model of specific railway infrastructures which are to be planned.
منابع مشابه
Modeling for Semantic Verification - Enhancement of Railway Infrastructure Planning
Planning a railway infrastructure is an extensive process. Placement and interaction of all infrastructural elements including security components like signals and level crossings has to be considered. Verifying the railway infrastructure against legal guidelines is an important task within this planning process. The verification purpose is to ensure a safe operation on the infrastructure. Duri...
متن کاملA Methodology to Prioritize the Construction Projects of New Railway Infrastructures for Privatization in Railway Networks (Case Study: Iran)
This study aims to develop a novel methodology to prioritize the construction of new railway infrastructures for privatization. The private sector can cooperate to solve the capacity problems of railway networks, by the construction of new infrastructure. The purpose of this study is to answer the basic question that whether the capacity problems of the railway networks can be solved simply by ...
متن کاملRule-Based Consistency Checking of Railway Infrastructure Designs
Railway designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. Model checking deals with state change and rather complex properties, usually incurring considerable computational burden (chiefly in terms of memory, known as state-space explosion ...
متن کاملVariable Neighborhood Search for Integrated Timetable Based Design of Railway Infrastructure
In this paper we deal with the problem of building new or extending an existing railway infrastructure. The goal is to determine a minimum cost infrastructure fulfilling the requirements defined by an integrated timetable and the operation of the railway system. We first model this planning task as a combinatorial network optimization problem, capturing the essential aspects. We then present a ...
متن کاملMulti-scale Simulation in Railway Planning and Operation
Simulation methods are widely used in railway planning and operation. However, at the moment there are no applicable solutions in the process simulation for a smooth transition among different infrastructure levels on the basis of a unified structure with consistent algorithm. In this paper, a multi-scale simulation model is designed with consideration of the level of detail of the investigated...
متن کامل